Type Definition isotope::ctx::ty::TrivialCons [−][src]
type TrivialCons<C> = BinaryCtx<C, Untyped>;
Expand description
Wrap a typing context into a trivial one
Implementations
Create a new trivial typing context with the given consing context